Electronic Books

Total Books: 101 - 120 /170

Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...

Logics of Specification Languages

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

MICAI 2008: Advances in Artificial Intelligence :7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings

The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...

Making Globally Distributed Software Development a Success Story : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings

This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...

Mathematical Foundations of Computer Science 2008 : 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...

Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...

Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...

Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...

Modelling Autonomic Communications Environments : Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008. Proceedings

Research and development of autonomics have come a long way, and we are delighted to present the proceedings of the 3rd IEEE ...

Multiagent System Technologies : 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th German Conference on Multiagent Systems Technologies, MATES 2008, ...

Multimodal Technologies for Perception of Humans : International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed joint post-workshop proceedings of two co-located events: the Second International ...

Multiobjective Optimization : Interactive and Evolutionary Approaches

Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...

New Frontiers in Applied Artificial Intelligence : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings

The 75 revised full papers presented were carefully reviewed and selected from 302 submissions. The papers are organized ...

Total Books: 101 - 120 /170